1. Advances in Computational Plasticity
پدیدآورنده : \ [Edited by] Eugenio Oñate...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Engineering,مهندسی,a03,a03,Computer mathematics.
رده :
E-Book
,
2. Computer-Based Problem Solving process
پدیدآورنده : \ Teodor Rus
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer - aided engineering,مهندسی به کمک کامپیوتر,a03,a03,Problem solving-- Data processing.,Mathematics-- Data processing.,حل مساله -- دادهپردازی ,ریاضیات -- دادهپردازی
رده :
TA
345
.
R8C6
2015
E-Book
,
3. Fields of Logic and Computation II
پدیدآورنده : \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,نرمافزار,-- Congresses,-- کنگرهها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگرهها
رده :
QA
76
.
9
.
L63
F54
2015
E-Book
,
4. Graph and Model Transformation
پدیدآورنده : \ Hartmut Ehrig...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a03,a03,Software engineering.,Categories (Mathematics),مهندسی نرم افزار ,رستهها (ریاضیات)
رده :
QA
76
.
G7
2015
E-Book
,
5. Intelligent Routines II
پدیدآورنده : \ George A. Anastassiou, Iuliana F. Iatan
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Engineering,مهندسی,a04,a04,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات
رده :
E-Book
,